Fractional Brownian motion

In probability theory, a normalized fractional Brownian motion (fBm), also called a fractal Brownian motion, is a continuous-time Gaussian process BH(t) on [0, T], which starts at zero, has expectation zero for all t in [0, T], and has the following covariance function:

E[B_H(t) B_H (s)]=\frac{1}{2} (|t|^{2H}%2B|s|^{2H}-|t-s|^{2H}),

where H is a real number in (0, 1), called the Hurst index or Hurst parameter associated with the fractional Brownian motion. It was introduced by Mandelbrot & van Ness (1968).

The value of H determines what kind of process the fBm is:

The increment process, X(t) = BH(t+1) − BH(t), is known as fractional Gaussian noise.

Contents

Background and definition

Prior to the introduction of the fractional Brownian motion, Lévy (1953) used the Riemann–Liouville fractional integral to define the process

X^H(t) = \frac{1}{\Gamma(H%2B1/2)}\int_0^t (t-s)^{H-1/2} dB(s)

where integration is with respect to the white noise measure dB(s). This integral turns out to be ill-suited to applications of fractional Brownian motion because of its over-emphasis of the origin (Mandelbrot & van Ness 1968, p. 424).

The idea instead is to use a different fractional integral of white noise to define the process: the Weyl integral

B_H (t) = B_H (0) %2B \frac{1}{\Gamma(H%2B1/2)}\left\{\int_{-\infty}^0\left[(t-s)^{H-1/2}-(-s)^{H-1/2}\right]\,dB(s) %2B \int_0^t (t-s)^{H-1/2}\,dB(s)\right\}

for t > 0 (and similarly for t < 0).

Properties

Self-similarity

The process is self-similar, since in terms of probability distributions:

B_H (at) \sim |a|^{H}B_H (t).

Fractional Brownian motion is the only self-similar Gaussian process.

Stationary increments

It has stationary increments:

B_H (t) - B_H (s)\;   \sim \;   B_H (t-s).

Long-range dependence

For H > ½ the process exhibits long-range dependence,

\sum_{n=1}^\infty E[B_H (1)(B_H (n%2B1)-B_H (n))] = \infty.

Regularity

Sample-paths are almost nowhere differentiable. However, almost-all trajectories are Hölder continuous of any order strictly less than H: for each such trajectory, there exists a constant c such that

 |B_H (t)-B_H (s)| \le c |t-s|^{H-\varepsilon}

for every ε > 0.

Dimension

With probability 1, the graph of BH(t) has both Hausdorff dimension and box dimension of 2−H.

Integration

As for regular Brownian motion, one can define stochastic integrals with respect to fractional Brownian motion, usually called "fractional stochastic integrals". In general though, unlike integrals with respect to regular Brownian motion, fractional stochastic integrals are not Semimartingales.

Sample paths

Practical computer realisations of an fBm can be generated, although they are only a finite approximation. The sample paths chosen can be thought of as showing discrete sampled points on an fBm process. Three realisations are shown below, each with 1000 points of an fBm with Hurst parameter 0.75.

H = 0.75 realisation 1 H = 0.75 realisation 2 H = 0.75 realisation 3

Two realisations are shown below, each showing 1000 points of an fBm, the first with Hurst parameter 0.95 and the second with Hurst parameter 0.55.

H = 0.95 H = 0.55

Method 1 of simulation

One can simulate sample-paths of an fBm as any Gaussian process of known covariance. Suppose we want to simulate the values of the fBM at times t_1, \ldots, t_n.

In order to compute \,\Sigma, we can use for instance the Cholesky decomposition method. An alternative method uses the eigenvalues of \,\Gamma:

Note that this makes sense because \lambda_i\ge0.

Note that since the eigenvectors are linearly independent, the matrix \,P is inversible.

Method 2 of simulation

It is also known that

B_H (t)=\int_0^t K_H(t,s) \, dB(s)

where B is a standard Brownian motion and

K_H(t,s)=\frac{(t-s)^{H-\frac{1}{2}}}{\Gamma(H%2B\frac{1}{2})}\;_2F_1\left (H-\frac{1}{2};\, \frac{1}{2}-H;\; H%2B\frac{1}{2};\, 1-\frac{t}{s} \right).

Where  _2F_1 is the Euler hypergeometric integral.

Say we want simulate an fBm at points 0=t_0< t_1< \cdots < t_n=T.

 B_H (t_j)=\frac{n}{T}\sum_{i=0}^{j-1}  \int_{t_i}^{t_{i%2B1}} K_H(t_j,\, s)\, ds \ \delta B_i.

The integral may be efficiently computed by Gaussian quadrature. Hypergeometric functions are part of the GNU scientific library.

See also

References